|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor) ; Bulej, Lubomír (referee)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (advisor) ; Bulej, Lubomír (referee)
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already exists, but it suffers from several disadvantages. At first it is provided exclusively for Windows operating systems, and the implementation is closed, therefor neither extensible nor customizable. The main premise of this project is the support of Linux operating systems. The project is also opened to ensure the extensibility and customizability. The model-driven development of systems for the LEGO NXT platform using this project comprises the model testing in a simulation and code generation in Simulink environment by using its standard tools, and deployment of completed programs to target devices. The systems generated with the help of this project are categorized as real-time systems.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
guest ::
